nLab list of mathematics software

Here is a very incomplete list of software available for mathematics, especially the sort of mathematics that nLabbers seem to be interested in.

General

• swMATH
• Oberwolfach References on Mathematical Software

Proof assistants

• Coq
• Agda
• Lean
• Nuprl
• HOL Light

Logical frameworks

• Twelf
• Elf
• Automath
• Isabelle

Quantum computation

• Quipper
• PyZX

Computer algebra systems

General

• Mathematica
• Maple
• Sage
• geogebra (dominantly used for educational purposes)
• MathCAD
• Calcpad

Computational Group Theory

• GAP

Computational Category Theory

• CAP

Computational Homological Algebra (CHA)

• CHA
• HAP

Computational Algebraic Topology

• Kenzo for constructive algebraic topology

Computational Higher-dimensional Discrete Algebra

• CHDA Homepage

Category theory

• TwoVect
• The Fusion Atlas
• Catlab.jl?

Globular n-categories

• Globular, up to 4-categories
• homotopy.io

Monoidal categories

• Quantomatic
• DisCoPy

Programming Environments

• Maple IDE
• Wolfram Workbench
• Wolphramalpha - online computational engine
• Sage

Diagram editors

• quiver (editor)

Related pages

• programming language

category: software